how to use and change the port of tomcat server